Joshua 11:18-20

Revised Standard Version

¹⁸ Joshua made war a long time with all those kings. ¹⁹ There was not a city that made peace with the people of Israel, except the Hivites, the inhabitants of Gibeon; they took all in battle. ²⁰ For it was the Lord’s doing to harden their hearts that they should come against Israel in battle, in order that they should be utterly destroyed, and should receive no mercy but be exterminated, as the Lord commanded Moses.